Process Algebra with Timed-Priority Executing Policy
نویسندگان
چکیده
Equipped with powerful machines and complex softwares, web servers providing services are widely used all over the Internet. But, how to specify their behaviors are interesting and meaningful. However, process algebras nowadays cannot specify the behaviors of web servers with time limitations and different groups of clients who are belong to different groups/priorities. The behaviors of web servers can be expressed by actions equipped with parameters of time t and priority w. We present a process algebra with timed-priority executing policy which can specify the behaviors of web servers.
منابع مشابه
Process Algebra with Chaos Executing Policy for Unhealthy Systems
Healthy systems are important for us, but unhealthy systems exist everywhere. Healthy systems behave the manner they are designed, but not the unhealthy ones. It is a meaningful thing for us to turn an unhealthy system into a healthy one. We propose a process algebra with chaos executing policy to specify the behavior of unhealthy systems. For unhealthy systems, we also propose the equivalent r...
متن کاملA Process Algebraic Approach to theSpeci cation and Analysis of Resource - BoundReal - Time Systems
Recently, signiicant progress has been made in the development of timed process algebras for the speciication and analysis of real-time systems. This paper describes a timed process algebra called ACSR, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to ca...
متن کاملThe Soundness and Completeness of Acsr (algebra of Communicating Share Resources)
Recently, signiicant progress has been made in the development of timed process algebras for the speciication and analysis of real-time systems. This paper describes a timed process algebra called ACSR. ACSR supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to cap...
متن کاملStochastic Process Algebra with Value-Passing and Weak Time Restrictions
Process algebra provides essential tools for studying distributed and concurrent systems. Stochastic process algebra (i.e., YAWN ) enhances the process algebra with stochastic extensions which is perfect to analyze phenomena of process with executing durations in the real world. What’s more, in system runs, value passing is tightly bounded with their processes. However, stochastic process algeb...
متن کاملA Complete Axiomatization of Finite-State ACSR Processes
A real-time process algebra, called ACSR, has been developed to facilitate the specification and analysis of real-time systems. ACSR supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to capture synchronization between processes. To be able to specify real-time sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JSW
دوره 6 شماره
صفحات -
تاریخ انتشار 2011